The article deals with the legal, political, philosophical and religious dimensions of Socrates’ trial and execution. It considers the issue in five separate aspects: 1) the validity of charging Socrates with impiety and corrupting the youth of the Athens; 2) the legal basis of the philosopher’s indictment; 3) the then manner of conducting a legal trial in the Athens; 4) the extent to which Socrates’ conviction can ultimately be characterized as unjust and — finally — 5) the cultural ramifications of (...) the philosopher’s trial and execution. (shrink)

This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related to the (...) contemporaneous work on the axiomatization of intuitionistic logic. (shrink)

This paper presents duality results between categories of neighbourhood frames for modal logic and categories of modal algebras (i.e. Boolean algebras with an additional unary operation). These results extend results of Goldblatt and Thomason about categories of relational frames for modal logic.

In recent decades, the development of sciences and technologies had a significant impact in society. This impact has been object of analysis from several standpoints, i.e., scientific, communication, historical and anthropological. Consequently, serious changes were required by the society. One of these has been the emerging relationship science in society and its foundations of applied sciences. A related foundational challenging is the educational process, which was and still is an unlimited challenge for teachers and professors: i.e., levels of understanding, curricula, (...) activing critical engagement, transfer knowledge—and—skills, management, classroom and subsequently pre-service teachers need special teacher education. Taking into account Joule’s bicentenary commemoration in physics and Nature of Science teaching (NoS) this paper introduces to a level of inquiring within historical and NoS approaches in the pre-service teachers, typically science, technology, engineering and mathematics. In particular, history and historiography of Joule’s physics (e.g., his arguments on electric–magnetic engine, mechanical equivalent of heat and free expansion) are dealt with. (shrink)

In standard model theory, deductions are not the things one models. But in general proof theory, in particular in categorial proof theory, one finds models of deductions, and the purpose here is to motivate a simple example of such models. This will be a model of deductions performed within an abstract context, where we do not have any particular logical constant, but something underlying all logical constants. In this context, deductions are represented by arrows in categories involved in a general (...) adjoint situation. To motivate the notion of adjointness, one of the central notions of category theory, and of mathematics in general, it is first considered how some features of it occur in set-theoretical axioms and in the axioms of the lambda calculus. Next, it is explained how this notion arises in the context of deduction, where it characterizes logical constants. It is shown also how the categorial point of view suggests an analysis of propositional identity. The problem of propositional identity, i.e., the problem of identity of meaning for propositions, is no doubt a philosophical problem, but the spirit of the analysis proposed here will be rather mathematical. Finally, it is considered whether models of deductions can pretend to be a semantics. This question, which as so many questions having to do with meaning brings us to that wall that blocked linguists and philosophers during the whole of the twentieth century, is merely posed. At the very end, there is the example of a geometrical model of adjunction. Without pretending that it is a semantics, it is hoped that this model may prove illuminating and useful. (shrink)

A large body of work in science education indicates that evolution is one of the least understood and accepted scientific theories. Although scholarship from the history and philosophy of science (HPS) has shed light on many conceptual and pedagogical issues in evolution education, HPS-informed studies of evolution education are also characterized by conceptual weaknesses. In this chapter, we critically review such studies and find that some work lacks historically accurate characterizations of student ideas (preconceptions and misconceptions). In addition, although several (...) studies in the science education literature have drawn parallels between students’ conceptual change patterns and those from the history of science (HOS), we identify several issues that complicate the characterization of student ideas as “Lamarckian” or “Darwinian.” Finally, a review of the topic of explanation illustrates how the plurality of approaches employed in evolutionary biology is not reflected in evolution education scholarship or practice. This finding is particularly concerning given the recent shift in emphasis in science education standards to teaching content through practice-based tasks (e.g., explanation and argumentation). Overall, this chapter demonstrates that while HPS is of central importance to a deep understanding of evolution education, too often its contributions are poorly realized. (shrink)

A split preorder is a preordering relation on the disjoint union of two sets, which function as source and target when one composes split preorders. The paper presents by generators and equations the category SplPre, whose arrows are the split preorders on the disjoint union of two finite ordinals. The same is done for the subcategory Gen of SplPre, whose arrows are equivalence relations, and for the category Rel, whose arrows are the binary relations between finite ordinals, and which has (...) an isomorphic image within SplPre by a map that preserves composition, but not identity arrows. It was shown previously that SplPre and Gen have an isomorphic representation in Rel in the style of Brauer.The syntactical presentation of Gen and Rel in this paper exhibits the particular Frobenius algebra structure of Gen and the particular bialgebraic structure of Rel, the latter structure being built upon the former structure in SplPre. This points towards algebraic modelling of various categories motivated by logic, and related categories, for which one can establish coherence with respect Rel and Gen. It also sheds light on the relationship between the notions of Frobenius algebra and bialgebra. The completeness of the syntactical presentations is proved via normal forms, with the normal form for SplPre and Gen being in some sense orthogonal to the composition-free, i.e. cut-free, normal form for Rel. The paper ends by showing that the assumptions for the algebraic structures of SplPre, Gen and Rel cannot be extended with new equations without falling into triviality. (shrink)

It is proved that all the isomorphisms in the cartesian category freely generated by a set of objects (i.e., a graph without arrows) can be written in terms of arrows from the symmetric monoidal category freely generated by the same set of objects. This proof yields an algorithm for deciding whether an arrow in this free cartesian category is an isomorphism.

Teaching about Nature of Science (hereafter NOS) has been considered an important element of science education for the past 20 years, at least at the academic level—what teachers actually teach in classrooms is, unfortunately, another story. Generally speaking, science educators have come to a consensus that the history and philosophy of science (hereafter HPS) can provide useful insights, under certain conditions, for this purpose. This does not mean that any HPS teaching necessarily contributes to understanding NOS. However, an appropriate selection (...) of topics, under the necessary re-contextualization, can provide very useful pedagogical tools to teach NOS.Douglas Allchin has been one of the leading figures in this field, having written insightful articles about both how to teach (e.g. Allchin 2000a) and how not to teach (e.g. Allchin 2000b) science content and NOS under an HPS perspective. He has also consistently and repeatedly argued for the proper use of HPS scholarship in teachin .. (shrink)

Background: Individuals with psychopathic traits demonstrate an attenuated emotional response to aversive stimuli. However, recent evidence suggests heterogeneity in emotional reactivity among individuals with psychopathic or callous-unemotional (CU) traits, the emotional detachment dimension of psychopathy. We hypothesize that primary variants of psychopathy will respond with blunted affect to negatively valenced stimuli, whereas individuals marked with histories of childhood trauma/maltreatment exposure, known as secondary variants, will display heightened emotional reactivity. To test this hypothesis, the present study examined fear-potentiated startle between psychopathy (...) variants while viewing aversive, pleasant, and neutral scenes. Method: 238 incarcerated adolescent (M age = 16.8, SD = 1.11 years) boys completed a picture-startle paradigm and self-report questionnaires assessing CU traits, antisocial-aggressive behavior, and maltreatment. Results: Latent profile analyses identified four classes; primary variants (high CU traits, high aggression, low maltreatment; n = 46), secondary variants (high CU traits, high aggression, high maltreatment; n = 42), and two nonpsychopathic groups differentiated on maltreatment experience (n = 148). Findings from an ANOVA comparing identified groups on startle amplitude difference scores (i.e., aversive-neutral) suggested a main effect for group, F(3,196)=8.91, p<.001, η2 = .12. Primary variants of juvenile psychopathy displayed reduced startle potentiation to aversive images (threat and victim scenes), whereas secondary variants distinguished by high levels of childhood maltreatment did not. Conclusions: Findings add to a rapidly growing body of literature supporting the possibility of multiple developmental pathways to psychopathy (i.e., equifinality), and extend it by finding support for divergent potential biomarkers between primary and secondary psychopathy variants. (shrink)

Book Review of E. Thomas Strom & Angela K. Wilson : Pioneers of Quantum Chemistry, Washington/DC 2013.

The aim of this study is to explore how Greek youth understands their relationship to education, and how this understanding might change as a result of the interplay between participation in different educational/social arrangements and structural factors such as gender, socio?economic background and area of residence. In total, 800 young people (i.e. four groups?students in upper?secondary school, tertiary education, vocational education and training and working young people) were surveyed. The results yield an impressive homogeneity of the young people?s views corresponding (...) to a ?pragmatic? image of schooling, though they are partially differentiated with respect to attitudes and practices. Moreover, boundaries are discerned between the young people following academic and non?academic educational trajectories, and between the learning opportunities provided within and outside the formal educational system. Finally, females appear to be more mobilized, but less satisfied by educational services. These findings are contextualized and discussed against a background of relevant trends in other European countries, as well as of wider social, historical and political forces affecting Greek society. (shrink)

In recent decades, the development of sciences and technologies had a significant impact in society. This impact has been object of analysis from several standpoints, i.e., scientific, communication, historical and anthropological. Consequently, serious changes were required by the society. One of these has been the emerging relationship science in society and its foundations of applied sciences. A related foundational challenging is the educational process, which was and still is an unlimited challenge for teachers and professors: i.e., levels of understanding, curricula, (...) activing critical engagement, transfer knowledge—and—skills, management, classroom and subsequently pre-service teachers need special teacher education. Taking into account Joule’s bicentenary commemoration in physics and Nature of Science teaching this paper introduces to a level of inquiring within historical and NoS approaches in the pre-service teachers, typically science, technology, engineering and mathematics. In particular, history and historiography of Joule’s physics are dealt with. (shrink)

We present the design of a secure and privacy preserving e-petition system that we have implemented as a proof-of-concept demonstrator. We use the Belgian e-ID card as source of authentication, and then proceed to issue an anonymous credential that is used to sign petitions. Our system ensures that duplicate signatures are detectable, while preserving the anonymity of petition signers. We analyze the privacy and security requirements of our application, present an overview of its architecture, and discuss the applicability of data (...) protection legislation to our system. (shrink)

It is often said that Darwin’s study of nature drove him to atheism. Whereas this might be, in principle, possible, it does not seem to have actually been the case for him. Both in his autobiography, which was not intended to be published, and in his personal correspondence, Darwin consistently described himself as an agnostic. It is true that he underwent several fluctuations of belief during his life, but in the end, he never explicitly rejected the existence of God. What (...) is even more important is that the main shift he underwent during his life was conceptual, not emotional or religious. That was his shift from natural theology and a view of adaptation as perfect to natural selection and a view of adaptation as relative to the environment, something historian Dov Ospovat pointed out 40 years ago. In this chapter, I present the evidence from Darwin’s writings about his agnosticism and about his conceptual shift from the perfect adaptation of natural theology to the relative adaptation of natural selection. (shrink)

U ovom radu razmatraju se pravi ciljevi tzv. medjunarodne zajednice na Balkanu, pod kojom se zapravo podrazumevaju Sjedinjene Americke Drzave Kao jedina preostala super sila, i Evropska unija, u kojoj kljucnu ulogu imaju Francuska, Velika Britanija i Nemacka. Pisac polazi od uverenja da stvarne, a narocito dugorocne namere ovih sila treba prevashodno izvoditi iz onoga sto one cine, pa tek onda uzimali u obzir i ono sto se javno ili tajno govorilo ili nagovestavalo. Analizom veceg broja primera na Balkanu i (...) u drugim delovima sveta pisac dolazi do neocekivanog ishoda. Dok su se velike zapadne sile na recima zalagale za multietnicnost i ocuvanje multietnickih drzava, na delu su postupale upravo suprotno: ne samo sto su podsticale bujanje nacionalizma i separatizma, nego su i pospesile i priznale raspad triju evropskih federacija na 22 manje-vise nacionalne drzave. I dok su se na recima prividno zalagale za tzv. demokratizaciju, u praksi su ne samo podrzavale autoritarne rezime nego su i same na tlu Balkana demokratiju poistovetile s okupacijom. (shrink)

In Understanding Evolution, Kostas Kampourakis has two related goals. The first is to demonstrate that there are conceptual hurdles to properly understanding evolutionary theory. Kampourakis argues that educators, and other promoters of evolutionary theory, have underestimated how difficult it is to understand evolutionary theory and have tended to treat some gaps in understanding that are in fact the result of conceptual difficulties as if they were instead the result of, e.g., religious intolerance to the theory. This, he thinks, is a (...) mistake. Once we accept that there are aspects of evolutionary theory that are counterintuitive, and that a host of cognitive biases make accepting evolutionary biology difficult, we will be, he argues, in a better position to present compelling argument that can work against these biases. That is the second goal of the book—to present an explanation of contemporary evolutionary theory that is attentive to the ways in which the theory might seem problem .. (shrink)

In three volumes, a distinguished group of scholars from a variety of disciplines in the natural and social sciences, the humanities and the arts contribute essays in honor of Robert S. Cohen, on the occasion of his 70th birthday. The range of the essays, as well as their originality, and their critical and historical depth, pay tribute to the extraordinary scope of Professor Cohen's intellectual interests, as a scientist-philosopher and a humanist, and also to his engagement in the world of (...) social and political practice. Science, Mind and Art, Volume III of Essays in honor of Robert S. Cohen focuses on issues in contemporary epistemology, aesthetics, and philosophy of mind as well as on the relations of science and human values in ethical and religious thought. It also has important new work in contemporary metaphysics, as well as in the history of philosophy, and on questions of multiculturalism in science education. Contributors include Paul Feyerabend, Adolf Grünbaum, Joseph Margolis, Joëlle Proust, Erazim Kohak, Elie Wiesel, Miriam Bienenstock, and John Silber, among others. (shrink)

Science appeared in modern Greece in the first decades after its establishment as a sovereign state in 1828. The University of Athens, the Royal Observatory, the Botanical Garden, and the Natural History Museum were quickly established as spaces of scientific activity. Greek scientists were enthusiastic participants in the emerging Greek public sphere, often not only as science experts, but also as poets, intellectuals and political personae. In a space whose cultural, intellectual and historical boundaries were still being negotiated, the choice (...) of language was not a given but a pressing, sensitive national desideratum. This article examines how Greek scientists used languages to communicate with their peers and with their publics, how they handled terminology and nomenclature, and how the issues surrounding the Greek language in particular affected their practice as scientists. The article aims to show that, in nineteenth-century Greece, languages were not passive, neutral vehicles of communication, but rather integral components of the practice of science. (shrink)

This article examines how new types of performance appraisal reconfigure everyday personal relationships at work. These systems deploy smartphone technologies to be used continuously by individuals to rate each other. Our aim is to show, in concrete terms, how these practices claim to configure a democratic space where individuals are liberated to express their views about each other’s work. On the contrary, we argue that by being placed in continuous confrontation with each other’s ratings, the genuine space for democratic contestation, (...) for the establishment of a genuine community, as well as for critique and dissent is—paradoxically—narrowed down. The first section of this article explores the context in which managerialism has become consolidated at the centre of neo-liberal politics in a dialogue with some of Mouffe’s and Rancière’s arguments. We use Rancière’s concept of “policing” to understand how managerial techniques subvert genuine democratic spaces, modes of participation and expression. Using performance appraisal systems as an example, the second part of the article provides a critical investigation which shows how managerialism intervenes at the very roots of possible democratic engagement and undermines dissent in subtle ways. (shrink)

This paper analyzes the ongoing university reform in Russia by underlining historical roots and peculiarities of its system of higher education. It is pointed out that the Soviet model of economy, political and ideological bias deeply impacted the university system and enforced its estrangement from foreign universities. A limited number of the best Soviet higher education institutions which provided a military-oriented education and fundamental research were re-casted along the so called “PhysTech” system after the end of the WWII. As a (...) result of this system, higher education and R&D in Russia is not presently competitive in the educational international market. Closing the gap between Russian universities and the “global university” approach and raising university competitiveness are the main objectives of the current reform in science and education. As universities are considered core actors of knowledge economy, a new set of federal and national research universities was created. However, reform faces numerous conceptual and institutional obstacles, risks and constraints are significant, and positive outcomes elusive. (shrink)

The widely known but also somewhat esoteric Mach principle envisages a fully relational formulation of physical theories without any reference to a concept of ‘absolute space’. When applied to classical mechanics, under the guise of an extended symmetry group, this procedure is known to lead to an equation of motion with inertial-like forces that are sourced by the mass distribution of the system itself. In this paper we follow a similar procedure and reformulate the Schrödinger equation of non-relativistic quantum mechanics (...) in a fully Machian way. Just like its classical counterpart, the resulting quantum theory is fully relational in the positions and momenta of the bodies comprising a given physical system, leaving no room for the notion of absolute space. (shrink)

How happy it is to recall Imre Lakatos. Now, fifteen years after his death, his intelligence, wit, generosity are vivid. In the Preface to the book of Essays in Memory of Imre Lakatos, the editors wrote:... Lakatos was a man in search of rationality in all of its forms. He thought he had found it in the historical development of scientific knowledge, yet he also saw rationality endangered everywhere. To honor Lakatos is to honor his sharp and aggressive criticism as (...) well as his humane warmth and his quick wit. He was a person to love and to struggle with. The book before us carries old and new friends of that Lakatosian spirit further into the issues which he wanted to investigate. That the new friends include a dozen scientific, historical and philosophical scholars from Greece would have pleased Lakatos very much, and with an essay from China, he would have smiled all the more. But the key lies in the quality of these papers, and in the imaginative organization of the conference at Thessaloniki in summer 1986 which worked so well. (shrink)

This paper presents an emerging aspect of intentionality through recent Artificial Intelligence (AI) developments in art and design. Our main thesis is that, if we focus just on the outcome of the artistic process, the intentionality of the artist does not have any relevance. Intention is measured as a result of actions regardless of whether they are human-based or not as long as there is an esthetical value intersubjectively acknowledged. In other words, what matters is the ‘intentio’ embedded in the (...) work of art (the output) rather than the ‘intendere’ (the process). By considering the former aspect, intentionality becomes free of human intervention, therefore 'unintentional'. This thesis is supported through a range of examples related to AI in general and AI art in particular. However, in the case of a self-driving vehicle, the macro-goal of the system is fixed by humans, even though the AI system itself will take care of decomposing the macro-goal into a set of micro-goals and take the corresponding decisions. In the case of art, the system does not need to have any exterior goal to the extent that art is pure freedom of expression, as many philosophers have acknowledged. In this sense, the decisions of any AI system generating art or design are independent of humans and must be judged only on the ground of the final outcome. A work of art will be judged ‘artistic’ to the extent that humans will recognize an artistic intent in the work itself. In particular, the introduction of random processes makes an AI-generated artwork fully independent of human creativity. (shrink)

LetSbe the group of finitely supported permutations of a countably infinite set. Let$K[S]$be the group algebra ofSover a fieldKof characteristic 0. According to a theorem of Formanek and Lawrence,$K[S]$satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over$RC{A_0}$ to the statement that${\omega ^\omega }$is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.